10.2 不変式
原語はInvariants
「不変の」「一定の」(ウィズダム英和辞典)
always the same; never changing
不変式とは、エンティティの生涯にわたって変化しないエンティティの性質のことである
オブジェクトの性質を維持する(IMO:振る舞いへの価値)
コード読み書きの手がかり(IMO:構造への価値)
オブジェクトの生涯に渡って維持したい条件
数学的な性質、ビジネスルール、整合性の保証、その他常に真でなければならないあらゆる条件
例外送出とデータ操作の2つ
他の開発者が間違ったオブジェクトを作るリスクを除ける
10.2.3 不変式の伝え方
コミュニケーションの相手は2種類(続く項目で扱う)
1. クラスの利用者
2. クラスの将来のメンテナ
アサーションまたは例外送出